考虑
由于
, 有
, 于是当
充分大时,
从而
, 即
, 以之左乘第一式, 于是
证毕.